Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
481	An Architecture for Ontology-Based Discovery and Retrieval of Geographic Information Eva Klien1, Udo Einspanier1, Michael Lutz1 and Sebastian Hübner2 1 Institute for Geoinformatics (IfGI), University of Münster, Germa Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2004-03-14 13:53:54 Semantic Web Information science Technical communication Knowledge representation Semantic interoperability Concept Search Web Feature Service Geographic information system Formal ontology Ontology Information Science
482	12th AGILE International Conference on Geographic Information Science 2009 Leibniz Universität Hannover, Germany page 1 of 2 Geographical Information is an Act, not a Fact Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2009-05-12 06:08:02 Information Knowledge Information science Technical communication Semantic Web CIDOC Conceptual Reference Model Formal ontology Geographic information system Knowledge representation and reasoning Ontology Science Knowledge representation
483	Microsoft Word - 129_DOC.doc Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2010-04-07 16:20:04 Cartography Formal sciences Science Earth sciences Imaging Segmentation Image analysis Geographic information system Remote sensing Computer vision Image processing Statistics
484	Data Scientist Job ID #747 In this role, whether you’re working directly with customers on their projects, figuring out how to improve Dato’s business with data, educating our u Add to Reading List Source URL: dato.com Language: English - Date: 2015-02-15 00:57:45 Knowledge Data analysis Formal sciences Learning GraphLab Machine learning Text analytics Recommender system Analytics Statistics Science Business intelligence
485	12th AGILE International Conference on Geographic Information Science 2009 Leibniz Universität Hannover, Germany page 1 of 3 Grounding Geographic Information Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2009-05-18 09:11:32 Ontology Knowledge representation Information science Technical communication Philosophy of mind Qualia Formal ontology Semantics Geographic information system Science Ethology Mind
486	Advanced technologies to support big data processing Scalable Processing of Geo-tagged Data in the Cloud Martin Bauer, Dan Dobre, Nuno Santos, Mischa Schmidt Abstract The explosive growth of the mobile internet calls fo Add to Reading List Source URL: www.nec.com Language: English - Date: 2014-03-26 09:04:40 Fault-tolerant computer systems System administration Transaction processing Formal sciences Parallel computing Scalability Apache Hadoop Data mining Computer cluster Computing Concurrent computing Technology
487	Applications Developer Job ID #748 In this role, whether you’re working directly with customers on their projects, figuring out how to improve Dato’s business with data, educating Add to Reading List Source URL: dato.com Language: English - Date: 2015-02-15 00:57:45 Business intelligence Data analysis Formal sciences Learning GraphLab Machine learning Text analytics Recommender system Analytics Statistics Science Computing
488	Information Revolution From Data to Policy Action in Low-Income Countries: How Can Innovation Help? Matjaž Jug Add to Reading List Source URL: paris21.org Language: English - Date: 2014-12-09 11:12:55 Formal sciences Data analysis MHealth Information and communication technologies for development Mobile phone Internet Geographic information system Big data Data visualization Technology New media Mobile telecommunications
489	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25 Formal methods Automated theorem proving Mizar system QED manifesto Proof assistant Automated proof checking Automated reasoning Mizar and Alcor Mizar Theoretical computer science Mathematics Applied mathematics
490	International Conference on Location-based Social Media Data March 13-14, 2015 Athens, Georgia, USA http://research.franklin.uga.edu/iclsm In the era of big data, increasingly sizeable datasets come from social media, pa Add to Reading List Source URL: research.franklin.uga.edu Language: English - Date: 2014-12-19 22:16:20 Formal sciences Champaign County Illinois Knowledge Data analysis Data mining Geovisualization Geographic information system University of Illinois at Urbana–Champaign Visual analytics Cartography Visualization Science

UPDATE